Fixing the Semantics of Some Concurrent Object-Oriented Concepts Extended Abstract

Coordination in Concurrent Object{oriented Programming Extended Abstract

Coordination viewed as the notion of \managing dependencies among activities" 8] is the key concept for modelling concurrent systems. In this paper, we investigate coordination from the viewpoint of programmers and programming language designers with respect to object{oriented programming. Finally, we evaluate existing object{oriented coordination models.

Metalevel Solution to Inheritance Anomaly in Concurrent Object-oriented Languages 3 | Extended Abstract |

In the very near future, massive parallel architectures will be available to professionals of numerous elds in the manner personal computers and workstations are today. Professional computing is the term we use for describing the computational activities of professionals requiring immense computational power. We claim that object-oriented concurrent programming (OOCP) serves as the basis for pr...

Mobile Calculus Semantics of Concurrent Object - Oriented Languages Diploma

ions: F P _ λ[ P _ ν[ P Concretions: C P _ >[@P _ ν[ P Process expression or process is a normal process, two processes in the parallel composition, channel name restriction or a new construct – replication. A replicated process is one that can spawn infinitely many copies of itself. Normal processes are almost the same as in the monadic calculus – null process, sum of processes and new prefix ...

Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming - (Extended Abstract)

We consider a semantics for a class-based object-oriented calculus based upon approximation; since in the context of LC such a semantics enjoys a strong correspondence with intersection type assignment systems, we also define such a system for our calculus and show that it is sound and complete. We establish the link with between type (we use the terminology predicate here) assignment and the a...

Distributed Temporal Logic for Concurrent Object Families Extended Abstract